Overseas Study in Technische Universit^|^#228;t Kaiserslautern

Zurich ̈ Technische

A general 2D-hp-adaptive Finite Element FE implementation in Fortran 90 is described. The implementation is based on an abstract data structure, which allows to incorporate the full hp-adaptivity of triangular and quadrilateral nite elements. The h-reenement strategies are based on h2-reenement of quadrilaterals and h4-reenement of triangles. For p-reenement we allow the approximation order to ...

Technische Universiteit

.....................................................................................................................................3 Preface .......................................................................................................................................4

Technische Universität

In recent years, the Description Logic EL has received a significant interest. It has been shown to be useful as a knowledge representation formalism, to define large biomedical ontologies. Moreover, important inference problems like subsumption have been shown to be decidable in polynomial time in EL. In particular, unification in EL can be used to detect redundancies in big ontologies. The un...

Technische Universität München

Eidgenössische Technische Hochschule Zürich

The test environment for sensitive network applications needs to be flexible. This is only possible in a lab setting containing a suitable network emulator. This thesis describes different possibilities for handling network emulation focussing mainly on emulators running on commodity PC’s. It was found that none of the available open source emulators are able to correctly model network dynamics...